无
无
106理论计算机科学电子笔记45(2001)网址:http://www.elsevier.nl/locate/entcs/volume45.html13页按值调用编程语言丹河Ghica吉卡1,2计算机和信息科学系,皇后加拿大安大略省K7L 3N6摘要我们解释了如何游戏语义...
理论计算机科学电子笔记246(2009)39-53www.elsevier.com/locate/entcs一种为惰性函数逻辑语言Bernd Braßel贝恩德·布拉塞尔1,2基尔大学计算机科学研究所40,24098 Kiel,Germany摘要本文基于最近开发的一种为...
理论计算机科学电子笔记174(2007)35-47www.elsevier.com/locate/entcs命令式语言FlorentKirchner1,2Francois-R′egis Sinot1,3LIX,E'colePolytechnique,91128Palaiseau,法国摘要编程语言的操作语义通常分为两...
理论计算机科学电子笔记127(2005)181-192www.elsevier.com/locate/entcs图转换语言中的可重用习惯用法和模式阿蒂拉·维占约2Zsolt卡尔马冯世Anantha NarayananGabor Karsai范德比尔特大学软件集成系统美国田纳西州...
50理论计算机科学电子笔记65 No.3(2002)网址:http://www.elsevier.nl/locate/entcs/volume65.html7页ELAN环境:重写逻辑环境基于ASF+SDF技术- 系统演示-范登布兰德1Centrum voor Wiskunde en Informatica(CWI)...
理论计算机科学电子笔记260(2010)25-45www.elsevier.com/locate/entcs统一分布式组件Antonio Cansadoa、Ludovic Henrioa、Eric Madelainea和Pablo Valenzuelaba INRIA Sophia-Antipolis、CNRS、I3S、UNSA。...
爱德华四世纽约哥伦比亚大学计算机科学系摘要数据流分析是一种很好理解的、非常强大的技术,用于在编译过程中分析程序。几乎所有的编译器都使用某种数据流分析作为其优化阶段的一部分。然而,尽管理论上很好理解,...
Python极简讲义机器学习数据分析--自学讲义。
77理论计算机科学电子笔记65 No.3(2002)网址:http://www.elsevier.nl/locate/entcs/volume65.html20页基于数据库的工具自动生成Pedro Rangel Henriques,Maria JoaRangeoVaranda Pereira米尼奥大学[email protected]...
理论计算机科学电子笔记238(2009)47-58www.elsevier.com/locate/entcsEClean -一种嵌入式函数语言A'd'amSipos1 而V i ktoo'riaZs'ok 2程序设计语言和语言学系匈牙利布达佩斯摘要C++模板元编程通常被认为是一种函数...
可在www.sciencedirect.com在线获取理论计算机科学电子笔记324(2016)67-77www.elsevier.com/locate/entcsFJQuantum一种量子面向对象语言塞缪尔·S.费托萨1号 朱莉安娜·K维...保留字:编程语言,量子计算。1引言量子
理论计算机科学电子笔记265(2010)231-244www.elsevier.com/locate/entcs通过相干空间安娜角,澳-地卡尔德隆1,2盖伊·麦卡斯克3巴斯大学计算机科学系英国巴斯摘要游戏语义学已经成功地为各种编程语言提供了完全...
这里引用了《深入理解计算机系统》、《C和指针》、《大话设计模式》等书 第一章在C语言知识体系梳理讲义(一) 《C和指针》上的例子 下面我们来讲一个小例子。其实这个例子我找了好久,最后我选出来了一个比较合适的...
计算机程序是为了告诉计算机"做某件事或解决某个问题"而用"***计算机语言***编写的命令集合(语句)只要让计算机执行这个程序,计算机就会自动地、有条不紊地进行工作,计算机的一切操作都是由程序控制的,离开程序,...
理论计算机科学电子笔记141(2005)99-116...摘要在编程语言领域,上下文无关语法(context-free grammars,CFGs)具有特殊的重要性,因为几乎所有的编程语言在其设计中都采用了CFGs。最近的C
理论计算机科学电子笔记253(2010)19-35www.elsevier.com/locate/entcs基于语言代数和变换的句法语言扩展雅各布·安德森1丹麦奥胡斯大学计算机科学系Claus Brabrand2哥本哈根IT大学哥本哈根,丹麦摘要我们提出了一...
理论计算机科学电子笔记152(2006)175-190www.elsevier.com/locate/entcs案例研究:时间触发语言蒂瓦达尔·塞梅蒂美国田纳西州纳什维尔范德比尔特大学软件集成系统摘要在这项研究中,我们介绍了一个时间触发语言的...
理论计算机科学电子笔记148(2006)5-18www.elsevier.com/locate/entcs与抽象树相关的视觉模式Uwe Kastens和Carsten SchmidtUniversitéatPaderborn,Fakultaétfur?rElektr otechnik,InformatikundMathematik,F...
理论计算机科学电子笔记152(2006)207-222www.elsevier.com/locate/entcs提高图形转换语言的可用性Attila Vizhanyo1,Sandeep Neema,Feng Shi,Daniel Balasubramanian,Gabor Karsai范德比尔特大学软件集成系统...
一、sys模块 sys模块代表了Python解释器,主要用于获取和Python解释器相关的信息。 >>> import sys ... [e for e in dir(sys) if not e.startswith('_')] ['api_version', 'argv', 'base_exec_prefix', '...
可在www.sciencedirect.com在线获取理论计算机科学电子笔记277(2011)53-64www.elsevier.com/locate/entcs一种带约束的Michael Pedersen迈克尔·佩德森1,2英国剑桥大学植物科学系摘要基于规则的语言,如Kappa和...
理论计算机科学电子笔记173(2007)357-373www.elsevier.com/locate/entcs自由定理与R型表示Dimitrios Vytiniotis1 Stephanie Weirich2宾夕法尼亚大学计算机与信息科学系关闭USA摘要雷诺兹的抽象定理[ 21 ],通常被...
小编是整理了很多进阶架构视频资料、面试文档以及PDF的学习资料,针对上面一套系统大纲小编也有对应的相关进阶架构视频资料《互联网大厂面试真题解析、进阶开发核心学习笔记、全套讲解视频、实战项目源码讲义》点击...
►理论计算机科学电子笔记228(2009)53-68www.elsevier.com/locate/entcsLF(Extended Abstract)卡尔·克拉里1卡内基梅隆大学计算机科学系摘要在LF中表示演绎系统的标准方法是用LF上下文来识别对象的语言上下文。...
--理论计算机科学电子笔记110(2004)55-74www.elsevier.com/locate/entcs...这些技术通常应用于规范语言,并且存在几种环境来验证并发规范的时间属性。在本文中,我们提出了一种尝试,应用模型检查技术验证多线程Java